Nuprl Definition : ecl-trans-halt2
11,40
postcript
pdf
ecl-trans-halt2(
ds
;
da
;
A
)(
n
,
L
) ==
(ecl-trans-h(
A
)(
n
,ecl-trans-state(
A
;
L
)))
latex
Definitions
x
.
A
(
x
)
,
b
,
f
(
a
)
,
ecl-trans-h(
v
)
,
ecl-trans-state(
v
;
L
)
FDL editor aliases
ecl-trans-halt2
origin
(ecl-trans-h(A)(n,ecl-trans-state(A; L))) (ecl-trans-h(A)(n,ecl-trans-state(A; L))) 
x.A(x)b